symbolic differentation

符号微分法